$\forall$$n$:$\mathbb{Z}$. base{-}domain{-}type($n$) $\in$ Type